منابع مشابه
An Imperative Object Calculus
1 Abstract. We develop an imperative calculus of objects. Its main type constructor is the one for object types, which incorporate variance annotations and Self types. A subtyping relation between object types supports object subsumption. The type system for objects relies on unusual but beneficial assumptions about the possible subtypes of an object type. With the addition of polymorphism, the...
متن کاملδ : an imperative object based calculus with delegation ?
Object based, imperative languages with delegation (eg SELF) support exploratory programming: composition of objects, sharing of attributes and modification of objects’ behaviour at run-time are easily expressible. Delegation allows objects to delegate execution of methods to other objects and to adapt delegated behaviour by overriding of method definitions. These features allow for creation of...
متن کاملAn Imperative, First-Order Calculus with Object Extension
This paper presents an imperative object calculus designed to support class-based programming via a combination of extensible objects and encapsulation. This calculus simplifies the language presented in [17] in that, like C++ and Java, it chooses to support an imperative semantics instead of method specialization. We show how Java-style classes and “mixins” may be coded in this calculus, prove...
متن کاملAn Imperative Object Calculus Basic Typing and Soundness
We develop an imperative calculus of objects that is both tiny and expressive. Our calculus provides a minimal setting in which to study the operational semantics and the typing rules of object-oriented languages. We prove type soundness using a simple subject-reduction approach.
متن کاملTracing sharing in an imperative pure calculus
We introduce a type and effect system, for an imperative object calculus, whichinfers sharing possibly introduced by the evaluation of an expression, repre-sented as an equivalence relation among its free variables. This direct represen-tation of sharing effects at the syntactic level allows us to express in a naturalway, and to generalize, widely-used notions in literature, not...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theory and Practice of Object Systems
سال: 1995
ISSN: 1074-3227,1096-9942
DOI: 10.1002/j.1096-9942.1995.tb00016.x